/**********************************************************************/
/*   ____  ____                                                       */
/*  /   /\/   /                                                       */
/* /___/  \  /                                                        */
/* \   \   \/                                                       */
/*  \   \        Copyright (c) 2003-2009 Xilinx, Inc.                */
/*  /   /          All Right Reserved.                                 */
/* /---/   /\                                                         */
/* \   \  /  \                                                      */
/*  \___\/\___\                                                    */
/***********************************************************************/

/* This file is designed for use with ISim build 0xfbc00daa */

#define XSI_HIDE_SYMBOL_SPEC true
#include "xsi.h"
#include <memory.h>
#ifdef __GNUC__
#include <stdlib.h>
#else
#include <malloc.h>
#define alloca _alloca
#endif
static const char *ng0 = "/home/mato_no1/3_Projects/csproj2016/hardware/mips_cpu/PipelinePhaseExecute_ALU.v";
static unsigned int ng1[] = {1U, 0U};
static unsigned int ng2[] = {2U, 0U};
static int ng3[] = {1, 0};
static int ng4[] = {0, 0};
static unsigned int ng5[] = {3U, 0U};
static unsigned int ng6[] = {4U, 0U};
static unsigned int ng7[] = {5U, 0U};
static unsigned int ng8[] = {6U, 0U};
static unsigned int ng9[] = {7U, 0U};
static unsigned int ng10[] = {8U, 0U};
static unsigned int ng11[] = {9U, 0U};
static unsigned int ng12[] = {10U, 0U};
static unsigned int ng13[] = {11U, 0U};
static unsigned int ng14[] = {12U, 0U};
static unsigned int ng15[] = {13U, 0U};
static unsigned int ng16[] = {14U, 0U};
static unsigned int ng17[] = {15U, 0U};
static unsigned int ng18[] = {16U, 0U};
static unsigned int ng19[] = {17U, 0U};



static void Always_16_0(char *t0)
{
    char t9[8];
    char t10[8];
    char t11[8];
    char t44[8];
    char *t1;
    char *t2;
    char *t3;
    char *t4;
    char *t5;
    int t6;
    char *t7;
    char *t8;
    unsigned int t12;
    unsigned int t13;
    unsigned int t14;
    unsigned int t15;
    unsigned int t16;
    unsigned int t17;
    unsigned int t18;
    unsigned int t19;
    unsigned int t20;
    unsigned int t21;
    unsigned int t22;
    unsigned int t23;
    char *t24;
    char *t25;
    unsigned int t26;
    unsigned int t27;
    unsigned int t28;
    unsigned int t29;
    unsigned int t30;
    char *t31;
    char *t32;
    unsigned int t33;
    unsigned int t34;
    unsigned int t35;
    char *t36;
    unsigned int t37;
    unsigned int t38;
    unsigned int t39;
    unsigned int t40;
    char *t41;
    char *t42;
    int t45;
    int t46;
    unsigned int t47;
    unsigned int t48;
    unsigned int t49;
    unsigned int t50;

LAB0:    t1 = (t0 + 2680U);
    t2 = *((char **)t1);
    if (t2 == 0)
        goto LAB2;

LAB3:    goto *t2;

LAB2:    xsi_set_current_line(16, ng0);
    t2 = (t0 + 3000);
    *((int *)t2) = 1;
    t3 = (t0 + 2712);
    *((char **)t3) = t2;
    *((char **)t1) = &&LAB4;

LAB1:    return;
LAB4:    xsi_set_current_line(17, ng0);

LAB5:    xsi_set_current_line(18, ng0);
    t4 = (t0 + 1048U);
    t5 = *((char **)t4);

LAB6:    t4 = ((char*)((ng1)));
    t6 = xsi_vlog_unsigned_case_compare(t5, 6, t4, 6);
    if (t6 == 1)
        goto LAB7;

LAB8:    t2 = ((char*)((ng2)));
    t6 = xsi_vlog_unsigned_case_compare(t5, 6, t2, 6);
    if (t6 == 1)
        goto LAB9;

LAB10:    t2 = ((char*)((ng5)));
    t6 = xsi_vlog_unsigned_case_compare(t5, 6, t2, 6);
    if (t6 == 1)
        goto LAB11;

LAB12:    t2 = ((char*)((ng6)));
    t6 = xsi_vlog_unsigned_case_compare(t5, 6, t2, 6);
    if (t6 == 1)
        goto LAB13;

LAB14:    t2 = ((char*)((ng7)));
    t6 = xsi_vlog_unsigned_case_compare(t5, 6, t2, 6);
    if (t6 == 1)
        goto LAB15;

LAB16:    t2 = ((char*)((ng8)));
    t6 = xsi_vlog_unsigned_case_compare(t5, 6, t2, 6);
    if (t6 == 1)
        goto LAB17;

LAB18:    t2 = ((char*)((ng9)));
    t6 = xsi_vlog_unsigned_case_compare(t5, 6, t2, 6);
    if (t6 == 1)
        goto LAB19;

LAB20:    t2 = ((char*)((ng10)));
    t6 = xsi_vlog_unsigned_case_compare(t5, 6, t2, 6);
    if (t6 == 1)
        goto LAB21;

LAB22:    t2 = ((char*)((ng11)));
    t6 = xsi_vlog_unsigned_case_compare(t5, 6, t2, 6);
    if (t6 == 1)
        goto LAB23;

LAB24:    t2 = ((char*)((ng12)));
    t6 = xsi_vlog_unsigned_case_compare(t5, 6, t2, 6);
    if (t6 == 1)
        goto LAB25;

LAB26:    t2 = ((char*)((ng13)));
    t6 = xsi_vlog_unsigned_case_compare(t5, 6, t2, 6);
    if (t6 == 1)
        goto LAB27;

LAB28:    t2 = ((char*)((ng14)));
    t6 = xsi_vlog_unsigned_case_compare(t5, 6, t2, 6);
    if (t6 == 1)
        goto LAB29;

LAB30:    t2 = ((char*)((ng15)));
    t6 = xsi_vlog_unsigned_case_compare(t5, 6, t2, 6);
    if (t6 == 1)
        goto LAB31;

LAB32:    t2 = ((char*)((ng16)));
    t6 = xsi_vlog_unsigned_case_compare(t5, 6, t2, 6);
    if (t6 == 1)
        goto LAB33;

LAB34:    t2 = ((char*)((ng17)));
    t6 = xsi_vlog_unsigned_case_compare(t5, 6, t2, 6);
    if (t6 == 1)
        goto LAB35;

LAB36:    t2 = ((char*)((ng18)));
    t6 = xsi_vlog_unsigned_case_compare(t5, 6, t2, 6);
    if (t6 == 1)
        goto LAB37;

LAB38:    t2 = ((char*)((ng19)));
    t6 = xsi_vlog_unsigned_case_compare(t5, 6, t2, 6);
    if (t6 == 1)
        goto LAB39;

LAB40:
LAB42:
LAB41:    xsi_set_current_line(53, ng0);
    t2 = ((char*)((ng4)));
    t3 = (t0 + 1768);
    xsi_vlogvar_wait_assign_value(t3, t2, 0, 0, 32, 0LL);

LAB43:    goto LAB2;

LAB7:    xsi_set_current_line(20, ng0);
    t7 = (t0 + 1208U);
    t8 = *((char **)t7);
    t7 = (t0 + 1768);
    xsi_vlogvar_wait_assign_value(t7, t8, 0, 0, 32, 0LL);
    goto LAB43;

LAB9:    xsi_set_current_line(22, ng0);
    t3 = (t0 + 1208U);
    t4 = *((char **)t3);
    t3 = (t0 + 1368U);
    t7 = *((char **)t3);
    memset(t11, 0, 8);
    t3 = (t4 + 4);
    t8 = (t7 + 4);
    t12 = *((unsigned int *)t4);
    t13 = *((unsigned int *)t7);
    t14 = (t12 ^ t13);
    t15 = *((unsigned int *)t3);
    t16 = *((unsigned int *)t8);
    t17 = (t15 ^ t16);
    t18 = (t14 | t17);
    t19 = *((unsigned int *)t3);
    t20 = *((unsigned int *)t8);
    t21 = (t19 | t20);
    t22 = (~(t21));
    t23 = (t18 & t22);
    if (t23 != 0)
        goto LAB47;

LAB44:    if (t21 != 0)
        goto LAB46;

LAB45:    *((unsigned int *)t11) = 1;

LAB47:    memset(t10, 0, 8);
    t25 = (t11 + 4);
    t26 = *((unsigned int *)t25);
    t27 = (~(t26));
    t28 = *((unsigned int *)t11);
    t29 = (t28 & t27);
    t30 = (t29 & 1U);
    if (t30 != 0)
        goto LAB48;

LAB49:    if (*((unsigned int *)t25) != 0)
        goto LAB50;

LAB51:    t32 = (t10 + 4);
    t33 = *((unsigned int *)t10);
    t34 = *((unsigned int *)t32);
    t35 = (t33 || t34);
    if (t35 > 0)
        goto LAB52;

LAB53:    t37 = *((unsigned int *)t10);
    t38 = (~(t37));
    t39 = *((unsigned int *)t32);
    t40 = (t38 || t39);
    if (t40 > 0)
        goto LAB54;

LAB55:    if (*((unsigned int *)t32) > 0)
        goto LAB56;

LAB57:    if (*((unsigned int *)t10) > 0)
        goto LAB58;

LAB59:    memcpy(t9, t41, 8);

LAB60:    t42 = (t0 + 1768);
    xsi_vlogvar_wait_assign_value(t42, t9, 0, 0, 32, 0LL);
    goto LAB43;

LAB11:    xsi_set_current_line(24, ng0);
    t3 = (t0 + 1208U);
    t4 = *((char **)t3);
    t3 = (t0 + 1368U);
    t7 = *((char **)t3);
    memset(t11, 0, 8);
    t3 = (t4 + 4);
    t8 = (t7 + 4);
    t12 = *((unsigned int *)t4);
    t13 = *((unsigned int *)t7);
    t14 = (t12 ^ t13);
    t15 = *((unsigned int *)t3);
    t16 = *((unsigned int *)t8);
    t17 = (t15 ^ t16);
    t18 = (t14 | t17);
    t19 = *((unsigned int *)t3);
    t20 = *((unsigned int *)t8);
    t21 = (t19 | t20);
    t22 = (~(t21));
    t23 = (t18 & t22);
    if (t23 != 0)
        goto LAB62;

LAB61:    if (t21 != 0)
        goto LAB63;

LAB64:    memset(t10, 0, 8);
    t25 = (t11 + 4);
    t26 = *((unsigned int *)t25);
    t27 = (~(t26));
    t28 = *((unsigned int *)t11);
    t29 = (t28 & t27);
    t30 = (t29 & 1U);
    if (t30 != 0)
        goto LAB65;

LAB66:    if (*((unsigned int *)t25) != 0)
        goto LAB67;

LAB68:    t32 = (t10 + 4);
    t33 = *((unsigned int *)t10);
    t34 = *((unsigned int *)t32);
    t35 = (t33 || t34);
    if (t35 > 0)
        goto LAB69;

LAB70:    t37 = *((unsigned int *)t10);
    t38 = (~(t37));
    t39 = *((unsigned int *)t32);
    t40 = (t38 || t39);
    if (t40 > 0)
        goto LAB71;

LAB72:    if (*((unsigned int *)t32) > 0)
        goto LAB73;

LAB74:    if (*((unsigned int *)t10) > 0)
        goto LAB75;

LAB76:    memcpy(t9, t41, 8);

LAB77:    t42 = (t0 + 1768);
    xsi_vlogvar_wait_assign_value(t42, t9, 0, 0, 32, 0LL);
    goto LAB43;

LAB13:    xsi_set_current_line(26, ng0);
    t3 = (t0 + 1208U);
    t4 = *((char **)t3);
    t3 = (t0 + 1368U);
    t7 = *((char **)t3);
    memset(t44, 0, 8);
    xsi_vlog_signed_less(t44, 32, t4, 32, t7, 32);
    memset(t10, 0, 8);
    t3 = (t44 + 4);
    t12 = *((unsigned int *)t3);
    t13 = (~(t12));
    t14 = *((unsigned int *)t44);
    t15 = (t14 & t13);
    t16 = (t15 & 1U);
    if (t16 != 0)
        goto LAB78;

LAB79:    if (*((unsigned int *)t3) != 0)
        goto LAB80;

LAB81:    t24 = (t10 + 4);
    t17 = *((unsigned int *)t10);
    t18 = *((unsigned int *)t24);
    t19 = (t17 || t18);
    if (t19 > 0)
        goto LAB82;

LAB83:    t20 = *((unsigned int *)t10);
    t21 = (~(t20));
    t22 = *((unsigned int *)t24);
    t23 = (t21 || t22);
    if (t23 > 0)
        goto LAB84;

LAB85:    if (*((unsigned int *)t24) > 0)
        goto LAB86;

LAB87:    if (*((unsigned int *)t10) > 0)
        goto LAB88;

LAB89:    memcpy(t9, t31, 8);

LAB90:    t32 = (t0 + 1768);
    xsi_vlogvar_wait_assign_value(t32, t9, 0, 0, 32, 0LL);
    goto LAB43;

LAB15:    xsi_set_current_line(28, ng0);
    t3 = (t0 + 1208U);
    t4 = *((char **)t3);
    t3 = (t0 + 1368U);
    t7 = *((char **)t3);
    memset(t44, 0, 8);
    t3 = (t4 + 4);
    if (*((unsigned int *)t3) != 0)
        goto LAB92;

LAB91:    t8 = (t7 + 4);
    if (*((unsigned int *)t8) != 0)
        goto LAB92;

LAB95:    if (*((unsigned int *)t4) < *((unsigned int *)t7))
        goto LAB93;

LAB94:    memset(t10, 0, 8);
    t25 = (t44 + 4);
    t12 = *((unsigned int *)t25);
    t13 = (~(t12));
    t14 = *((unsigned int *)t44);
    t15 = (t14 & t13);
    t16 = (t15 & 1U);
    if (t16 != 0)
        goto LAB96;

LAB97:    if (*((unsigned int *)t25) != 0)
        goto LAB98;

LAB99:    t32 = (t10 + 4);
    t17 = *((unsigned int *)t10);
    t18 = *((unsigned int *)t32);
    t19 = (t17 || t18);
    if (t19 > 0)
        goto LAB100;

LAB101:    t20 = *((unsigned int *)t10);
    t21 = (~(t20));
    t22 = *((unsigned int *)t32);
    t23 = (t21 || t22);
    if (t23 > 0)
        goto LAB102;

LAB103:    if (*((unsigned int *)t32) > 0)
        goto LAB104;

LAB105:    if (*((unsigned int *)t10) > 0)
        goto LAB106;

LAB107:    memcpy(t9, t41, 8);

LAB108:    t42 = (t0 + 1768);
    xsi_vlogvar_wait_assign_value(t42, t9, 0, 0, 32, 0LL);
    goto LAB43;

LAB17:    xsi_set_current_line(30, ng0);
    t3 = (t0 + 1208U);
    t4 = *((char **)t3);
    t3 = (t0 + 1368U);
    t7 = *((char **)t3);
    memset(t44, 0, 8);
    xsi_vlog_signed_leq(t44, 32, t4, 32, t7, 32);
    memset(t10, 0, 8);
    t3 = (t44 + 4);
    t12 = *((unsigned int *)t3);
    t13 = (~(t12));
    t14 = *((unsigned int *)t44);
    t15 = (t14 & t13);
    t16 = (t15 & 1U);
    if (t16 != 0)
        goto LAB109;

LAB110:    if (*((unsigned int *)t3) != 0)
        goto LAB111;

LAB112:    t24 = (t10 + 4);
    t17 = *((unsigned int *)t10);
    t18 = *((unsigned int *)t24);
    t19 = (t17 || t18);
    if (t19 > 0)
        goto LAB113;

LAB114:    t20 = *((unsigned int *)t10);
    t21 = (~(t20));
    t22 = *((unsigned int *)t24);
    t23 = (t21 || t22);
    if (t23 > 0)
        goto LAB115;

LAB116:    if (*((unsigned int *)t24) > 0)
        goto LAB117;

LAB118:    if (*((unsigned int *)t10) > 0)
        goto LAB119;

LAB120:    memcpy(t9, t31, 8);

LAB121:    t32 = (t0 + 1768);
    xsi_vlogvar_wait_assign_value(t32, t9, 0, 0, 32, 0LL);
    goto LAB43;

LAB19:    xsi_set_current_line(32, ng0);
    t3 = (t0 + 1208U);
    t4 = *((char **)t3);
    t3 = (t0 + 1368U);
    t7 = *((char **)t3);
    memset(t44, 0, 8);
    xsi_vlog_signed_greater(t44, 32, t4, 32, t7, 32);
    memset(t10, 0, 8);
    t3 = (t44 + 4);
    t12 = *((unsigned int *)t3);
    t13 = (~(t12));
    t14 = *((unsigned int *)t44);
    t15 = (t14 & t13);
    t16 = (t15 & 1U);
    if (t16 != 0)
        goto LAB122;

LAB123:    if (*((unsigned int *)t3) != 0)
        goto LAB124;

LAB125:    t24 = (t10 + 4);
    t17 = *((unsigned int *)t10);
    t18 = *((unsigned int *)t24);
    t19 = (t17 || t18);
    if (t19 > 0)
        goto LAB126;

LAB127:    t20 = *((unsigned int *)t10);
    t21 = (~(t20));
    t22 = *((unsigned int *)t24);
    t23 = (t21 || t22);
    if (t23 > 0)
        goto LAB128;

LAB129:    if (*((unsigned int *)t24) > 0)
        goto LAB130;

LAB131:    if (*((unsigned int *)t10) > 0)
        goto LAB132;

LAB133:    memcpy(t9, t31, 8);

LAB134:    t32 = (t0 + 1768);
    xsi_vlogvar_wait_assign_value(t32, t9, 0, 0, 32, 0LL);
    goto LAB43;

LAB21:    xsi_set_current_line(34, ng0);
    t3 = (t0 + 1208U);
    t4 = *((char **)t3);
    t3 = (t0 + 1368U);
    t7 = *((char **)t3);
    memset(t44, 0, 8);
    xsi_vlog_signed_greatereq(t44, 32, t4, 32, t7, 32);
    memset(t10, 0, 8);
    t3 = (t44 + 4);
    t12 = *((unsigned int *)t3);
    t13 = (~(t12));
    t14 = *((unsigned int *)t44);
    t15 = (t14 & t13);
    t16 = (t15 & 1U);
    if (t16 != 0)
        goto LAB135;

LAB136:    if (*((unsigned int *)t3) != 0)
        goto LAB137;

LAB138:    t24 = (t10 + 4);
    t17 = *((unsigned int *)t10);
    t18 = *((unsigned int *)t24);
    t19 = (t17 || t18);
    if (t19 > 0)
        goto LAB139;

LAB140:    t20 = *((unsigned int *)t10);
    t21 = (~(t20));
    t22 = *((unsigned int *)t24);
    t23 = (t21 || t22);
    if (t23 > 0)
        goto LAB141;

LAB142:    if (*((unsigned int *)t24) > 0)
        goto LAB143;

LAB144:    if (*((unsigned int *)t10) > 0)
        goto LAB145;

LAB146:    memcpy(t9, t31, 8);

LAB147:    t32 = (t0 + 1768);
    xsi_vlogvar_wait_assign_value(t32, t9, 0, 0, 32, 0LL);
    goto LAB43;

LAB23:    xsi_set_current_line(36, ng0);
    t3 = (t0 + 1208U);
    t4 = *((char **)t3);
    t3 = (t0 + 1368U);
    t7 = *((char **)t3);
    t12 = *((unsigned int *)t4);
    t13 = *((unsigned int *)t7);
    t14 = (t12 & t13);
    *((unsigned int *)t9) = t14;
    t3 = (t4 + 4);
    t8 = (t7 + 4);
    t24 = (t9 + 4);
    t15 = *((unsigned int *)t3);
    t16 = *((unsigned int *)t8);
    t17 = (t15 | t16);
    *((unsigned int *)t24) = t17;
    t18 = *((unsigned int *)t24);
    t19 = (t18 != 0);
    if (t19 == 1)
        goto LAB148;

LAB149:
LAB150:    t32 = (t0 + 1768);
    xsi_vlogvar_wait_assign_value(t32, t9, 0, 0, 32, 0LL);
    goto LAB43;

LAB25:    xsi_set_current_line(38, ng0);
    t3 = (t0 + 1208U);
    t4 = *((char **)t3);
    t3 = (t0 + 1368U);
    t7 = *((char **)t3);
    t12 = *((unsigned int *)t4);
    t13 = *((unsigned int *)t7);
    t14 = (t12 | t13);
    *((unsigned int *)t9) = t14;
    t3 = (t4 + 4);
    t8 = (t7 + 4);
    t24 = (t9 + 4);
    t15 = *((unsigned int *)t3);
    t16 = *((unsigned int *)t8);
    t17 = (t15 | t16);
    *((unsigned int *)t24) = t17;
    t18 = *((unsigned int *)t24);
    t19 = (t18 != 0);
    if (t19 == 1)
        goto LAB151;

LAB152:
LAB153:    t32 = (t0 + 1768);
    xsi_vlogvar_wait_assign_value(t32, t9, 0, 0, 32, 0LL);
    goto LAB43;

LAB27:    xsi_set_current_line(40, ng0);
    t3 = (t0 + 1208U);
    t4 = *((char **)t3);
    t3 = (t0 + 1368U);
    t7 = *((char **)t3);
    t12 = *((unsigned int *)t4);
    t13 = *((unsigned int *)t7);
    t14 = (t12 ^ t13);
    *((unsigned int *)t9) = t14;
    t3 = (t4 + 4);
    t8 = (t7 + 4);
    t24 = (t9 + 4);
    t15 = *((unsigned int *)t3);
    t16 = *((unsigned int *)t8);
    t17 = (t15 | t16);
    *((unsigned int *)t24) = t17;
    t18 = *((unsigned int *)t24);
    t19 = (t18 != 0);
    if (t19 == 1)
        goto LAB154;

LAB155:
LAB156:    t25 = (t0 + 1768);
    xsi_vlogvar_wait_assign_value(t25, t9, 0, 0, 32, 0LL);
    goto LAB43;

LAB29:    xsi_set_current_line(42, ng0);
    t3 = (t0 + 1208U);
    t4 = *((char **)t3);
    t3 = (t0 + 1368U);
    t7 = *((char **)t3);
    t12 = *((unsigned int *)t4);
    t13 = *((unsigned int *)t7);
    t14 = (t12 | t13);
    *((unsigned int *)t10) = t14;
    t3 = (t4 + 4);
    t8 = (t7 + 4);
    t24 = (t10 + 4);
    t15 = *((unsigned int *)t3);
    t16 = *((unsigned int *)t8);
    t17 = (t15 | t16);
    *((unsigned int *)t24) = t17;
    t18 = *((unsigned int *)t24);
    t19 = (t18 != 0);
    if (t19 == 1)
        goto LAB157;

LAB158:
LAB159:    memset(t9, 0, 8);
    t32 = (t9 + 4);
    t36 = (t10 + 4);
    t37 = *((unsigned int *)t10);
    t38 = (~(t37));
    *((unsigned int *)t9) = t38;
    *((unsigned int *)t32) = 0;
    if (*((unsigned int *)t36) != 0)
        goto LAB161;

LAB160:    t49 = *((unsigned int *)t9);
    *((unsigned int *)t9) = (t49 & 4294967295U);
    t50 = *((unsigned int *)t32);
    *((unsigned int *)t32) = (t50 & 4294967295U);
    t41 = (t0 + 1768);
    xsi_vlogvar_wait_assign_value(t41, t9, 0, 0, 32, 0LL);
    goto LAB43;

LAB31:    xsi_set_current_line(44, ng0);
    t3 = (t0 + 1208U);
    t4 = *((char **)t3);
    t3 = (t0 + 1368U);
    t7 = *((char **)t3);
    memset(t9, 0, 8);
    xsi_vlog_unsigned_add(t9, 32, t4, 32, t7, 32);
    t3 = (t0 + 1768);
    xsi_vlogvar_wait_assign_value(t3, t9, 0, 0, 32, 0LL);
    goto LAB43;

LAB33:    xsi_set_current_line(46, ng0);
    t3 = (t0 + 1208U);
    t4 = *((char **)t3);
    t3 = (t0 + 1368U);
    t7 = *((char **)t3);
    memset(t9, 0, 8);
    xsi_vlog_unsigned_minus(t9, 32, t4, 32, t7, 32);
    t3 = (t0 + 1768);
    xsi_vlogvar_wait_assign_value(t3, t9, 0, 0, 32, 0LL);
    goto LAB43;

LAB35:    xsi_set_current_line(48, ng0);
    t3 = (t0 + 1208U);
    t4 = *((char **)t3);
    t3 = (t0 + 1368U);
    t7 = *((char **)t3);
    memset(t9, 0, 8);
    xsi_vlog_unsigned_lshift(t9, 32, t4, 32, t7, 32);
    t3 = (t0 + 1768);
    xsi_vlogvar_wait_assign_value(t3, t9, 0, 0, 32, 0LL);
    goto LAB43;

LAB37:    xsi_set_current_line(50, ng0);
    t3 = (t0 + 1208U);
    t4 = *((char **)t3);
    t3 = (t0 + 1368U);
    t7 = *((char **)t3);
    memset(t10, 0, 8);
    xsi_vlog_signed_arith_rshift(t10, 32, t4, 32, t7, 32);
    t3 = (t0 + 1768);
    xsi_vlogvar_wait_assign_value(t3, t10, 0, 0, 32, 0LL);
    goto LAB43;

LAB39:    xsi_set_current_line(52, ng0);
    t3 = (t0 + 1208U);
    t4 = *((char **)t3);
    t3 = (t0 + 1368U);
    t7 = *((char **)t3);
    memset(t10, 0, 8);
    xsi_vlog_unsigned_rshift(t10, 32, t4, 32, t7, 32);
    t3 = (t0 + 1768);
    xsi_vlogvar_wait_assign_value(t3, t10, 0, 0, 32, 0LL);
    goto LAB43;

LAB46:    t24 = (t11 + 4);
    *((unsigned int *)t11) = 1;
    *((unsigned int *)t24) = 1;
    goto LAB47;

LAB48:    *((unsigned int *)t10) = 1;
    goto LAB51;

LAB50:    t31 = (t10 + 4);
    *((unsigned int *)t10) = 1;
    *((unsigned int *)t31) = 1;
    goto LAB51;

LAB52:    t36 = ((char*)((ng3)));
    goto LAB53;

LAB54:    t41 = ((char*)((ng4)));
    goto LAB55;

LAB56:    xsi_vlog_unsigned_bit_combine(t9, 32, t36, 32, t41, 32);
    goto LAB60;

LAB58:    memcpy(t9, t36, 8);
    goto LAB60;

LAB62:    *((unsigned int *)t11) = 1;
    goto LAB64;

LAB63:    t24 = (t11 + 4);
    *((unsigned int *)t11) = 1;
    *((unsigned int *)t24) = 1;
    goto LAB64;

LAB65:    *((unsigned int *)t10) = 1;
    goto LAB68;

LAB67:    t31 = (t10 + 4);
    *((unsigned int *)t10) = 1;
    *((unsigned int *)t31) = 1;
    goto LAB68;

LAB69:    t36 = ((char*)((ng3)));
    goto LAB70;

LAB71:    t41 = ((char*)((ng4)));
    goto LAB72;

LAB73:    xsi_vlog_unsigned_bit_combine(t9, 32, t36, 32, t41, 32);
    goto LAB77;

LAB75:    memcpy(t9, t36, 8);
    goto LAB77;

LAB78:    *((unsigned int *)t10) = 1;
    goto LAB81;

LAB80:    t8 = (t10 + 4);
    *((unsigned int *)t10) = 1;
    *((unsigned int *)t8) = 1;
    goto LAB81;

LAB82:    t25 = ((char*)((ng3)));
    goto LAB83;

LAB84:    t31 = ((char*)((ng4)));
    goto LAB85;

LAB86:    xsi_vlog_unsigned_bit_combine(t9, 32, t25, 32, t31, 32);
    goto LAB90;

LAB88:    memcpy(t9, t25, 8);
    goto LAB90;

LAB92:    t24 = (t44 + 4);
    *((unsigned int *)t44) = 1;
    *((unsigned int *)t24) = 1;
    goto LAB94;

LAB93:    *((unsigned int *)t44) = 1;
    goto LAB94;

LAB96:    *((unsigned int *)t10) = 1;
    goto LAB99;

LAB98:    t31 = (t10 + 4);
    *((unsigned int *)t10) = 1;
    *((unsigned int *)t31) = 1;
    goto LAB99;

LAB100:    t36 = ((char*)((ng3)));
    goto LAB101;

LAB102:    t41 = ((char*)((ng4)));
    goto LAB103;

LAB104:    xsi_vlog_unsigned_bit_combine(t9, 32, t36, 32, t41, 32);
    goto LAB108;

LAB106:    memcpy(t9, t36, 8);
    goto LAB108;

LAB109:    *((unsigned int *)t10) = 1;
    goto LAB112;

LAB111:    t8 = (t10 + 4);
    *((unsigned int *)t10) = 1;
    *((unsigned int *)t8) = 1;
    goto LAB112;

LAB113:    t25 = ((char*)((ng3)));
    goto LAB114;

LAB115:    t31 = ((char*)((ng4)));
    goto LAB116;

LAB117:    xsi_vlog_unsigned_bit_combine(t9, 32, t25, 32, t31, 32);
    goto LAB121;

LAB119:    memcpy(t9, t25, 8);
    goto LAB121;

LAB122:    *((unsigned int *)t10) = 1;
    goto LAB125;

LAB124:    t8 = (t10 + 4);
    *((unsigned int *)t10) = 1;
    *((unsigned int *)t8) = 1;
    goto LAB125;

LAB126:    t25 = ((char*)((ng3)));
    goto LAB127;

LAB128:    t31 = ((char*)((ng4)));
    goto LAB129;

LAB130:    xsi_vlog_unsigned_bit_combine(t9, 32, t25, 32, t31, 32);
    goto LAB134;

LAB132:    memcpy(t9, t25, 8);
    goto LAB134;

LAB135:    *((unsigned int *)t10) = 1;
    goto LAB138;

LAB137:    t8 = (t10 + 4);
    *((unsigned int *)t10) = 1;
    *((unsigned int *)t8) = 1;
    goto LAB138;

LAB139:    t25 = ((char*)((ng3)));
    goto LAB140;

LAB141:    t31 = ((char*)((ng4)));
    goto LAB142;

LAB143:    xsi_vlog_unsigned_bit_combine(t9, 32, t25, 32, t31, 32);
    goto LAB147;

LAB145:    memcpy(t9, t25, 8);
    goto LAB147;

LAB148:    t20 = *((unsigned int *)t9);
    t21 = *((unsigned int *)t24);
    *((unsigned int *)t9) = (t20 | t21);
    t25 = (t4 + 4);
    t31 = (t7 + 4);
    t22 = *((unsigned int *)t4);
    t23 = (~(t22));
    t26 = *((unsigned int *)t25);
    t27 = (~(t26));
    t28 = *((unsigned int *)t7);
    t29 = (~(t28));
    t30 = *((unsigned int *)t31);
    t33 = (~(t30));
    t45 = (t23 & t27);
    t46 = (t29 & t33);
    t34 = (~(t45));
    t35 = (~(t46));
    t37 = *((unsigned int *)t24);
    *((unsigned int *)t24) = (t37 & t34);
    t38 = *((unsigned int *)t24);
    *((unsigned int *)t24) = (t38 & t35);
    t39 = *((unsigned int *)t9);
    *((unsigned int *)t9) = (t39 & t34);
    t40 = *((unsigned int *)t9);
    *((unsigned int *)t9) = (t40 & t35);
    goto LAB150;

LAB151:    t20 = *((unsigned int *)t9);
    t21 = *((unsigned int *)t24);
    *((unsigned int *)t9) = (t20 | t21);
    t25 = (t4 + 4);
    t31 = (t7 + 4);
    t22 = *((unsigned int *)t25);
    t23 = (~(t22));
    t26 = *((unsigned int *)t4);
    t45 = (t26 & t23);
    t27 = *((unsigned int *)t31);
    t28 = (~(t27));
    t29 = *((unsigned int *)t7);
    t46 = (t29 & t28);
    t30 = (~(t45));
    t33 = (~(t46));
    t34 = *((unsigned int *)t24);
    *((unsigned int *)t24) = (t34 & t30);
    t35 = *((unsigned int *)t24);
    *((unsigned int *)t24) = (t35 & t33);
    goto LAB153;

LAB154:    t20 = *((unsigned int *)t9);
    t21 = *((unsigned int *)t24);
    *((unsigned int *)t9) = (t20 | t21);
    goto LAB156;

LAB157:    t20 = *((unsigned int *)t10);
    t21 = *((unsigned int *)t24);
    *((unsigned int *)t10) = (t20 | t21);
    t25 = (t4 + 4);
    t31 = (t7 + 4);
    t22 = *((unsigned int *)t25);
    t23 = (~(t22));
    t26 = *((unsigned int *)t4);
    t45 = (t26 & t23);
    t27 = *((unsigned int *)t31);
    t28 = (~(t27));
    t29 = *((unsigned int *)t7);
    t46 = (t29 & t28);
    t30 = (~(t45));
    t33 = (~(t46));
    t34 = *((unsigned int *)t24);
    *((unsigned int *)t24) = (t34 & t30);
    t35 = *((unsigned int *)t24);
    *((unsigned int *)t24) = (t35 & t33);
    goto LAB159;

LAB161:    t39 = *((unsigned int *)t9);
    t40 = *((unsigned int *)t36);
    *((unsigned int *)t9) = (t39 | t40);
    t47 = *((unsigned int *)t32);
    t48 = *((unsigned int *)t36);
    *((unsigned int *)t32) = (t47 | t48);
    goto LAB160;

}


extern void work_m_10573683378958776083_0886308060_init()
{
	static char *pe[] = {(void *)Always_16_0};
	xsi_register_didat("work_m_10573683378958776083_0886308060", "isim/ProcessorTop_TestFixture_isim_beh.exe.sim/work/m_10573683378958776083_0886308060.didat");
	xsi_register_executes(pe);
}
